Logic and Databases

Logic and databases have gone a long way together since the advent of relational databases Already the rst basic query languages for relational databases beside relational algebra tuple calculus and domain calculus are actually a subset of rst order predicate logic Furthermore logic proved to be very adequate for establishing a sound theory for rela tional databases When attempts were made to integrate AI and database technology in form of expert database systems or knowledge base management systems logic provided a unifying framework although several di erences in the use of logic in the both elds have been discovered The con uence of logic programming and databases triggered deductive databases as new area of research In this overview paper we will discuss shortly the relationship between relational databases and logic and present the possibilities for coupling Prolog with databases The main part of this paper concentrates on de ductive databases in particular on the database language Datalog We conclude by mentioning some facets of recent research on logic and data bases The goal of this paper is to provide an overview of the most relevant developments in the eld and providing pointers to the literature